Signed Interval Logi on Totally Ordered Domains
نویسنده
چکیده
منابع مشابه
Linkability: Examining Causal Link Commitments in Partial-order Planning
Recently, several researchers have demonstrated domains where partially-ordered planners outperform totally-ordered planners. In (Barrett & Weld 1994), Barrett and Weld build a series of arti cial domains exploring the concepts of trivial and laborious serializability, in which a partially-ordered planner, snlp, consistently outperforms two totally-ordered planners. In this paper, we demonstrat...
متن کاملOn the Generalization of Interval Valued $left( in ,in vee q_{widetilde{k}}right) $-Fuzzy bi-Ideals in Ordered Semigroups
In this paper, we introduce a new sort of interval valued $left(in ,in vee q_{widetilde{k}}^{widetilde{delta }}right) $-fuzzy bi-ideal in ordered semigroups which is the generalization of interval valued $left( in ,in vee q_{%widetilde{k}}right) $-fuzzy bi-ideal and interval valued $left( in ,in vee qright) $-fuzzy bi-ideal of ordered semigroups. We give examples in which we show that these str...
متن کاملReal closed valuation rings
The real closed valuation rings, i.e., convex subrings of real closed fields, form a proper subclass of the class of real closed domains. It is shown how one can recognize whether a real closed domain is a valuation ring. This leads to a characterization of the totally ordered domains whose real closure is a valuation ring. Real closures of totally ordered factor rings of coordinate rings of re...
متن کاملZINC: Efficient Indexing for Skyline Computation
We present a new indexing method named ZINC (for Z-order Indexing with Nested Code) that supports efficient skyline computation for data with both totally and partially ordered attribute domains. The key innovation in ZINC is based on combining the strengths of the ZB-tree, which is the state-of-the-art index method for computing skylines involving totally ordered domains, with a novel, nested ...
متن کامل